An enough week
blog.mitrichev.ch·23h·
🧩Constraint Solvers
Zippers: Making Functional "Updates" Efficient (2010)
goodmath.org·1d·
🤐Zipper Structures
Show HN: Using an LLM to sensibly sort a shopping receipt
treblig.org·1d·
Discuss: Hacker News
Incremental Parsing
From Documents to Dialogue: A step-by-step RAG Journey
dev.to·5h·
Discuss: DEV
💬Interactive REPLs
Homomorphism Problems in Graph Databases and Automatic Structures
arxiv.org·15h
🔗Unification Algorithms
ReasonScape Evaluation: AI21 Jamba Reasoning vs Qwen3 4B vs Qwen3 4B 2507
reddit.com·1d·
Discuss: r/LocalLLaMA
🏁Language Benchmarks
Sorting encrypted data without decryption: a practical trick
github.com·3h·
Discuss: DEV
🔗Hash Functions
Slip – A Lisp System in JavaScript
lisperator.net·5h·
Discuss: Hacker News
🌱Minimal Lisps
Writing regex is pure joy. You can't convince me otherwise.
triangulatedexistence.mataroa.blog·17h·
📝Rope Editors
Let's Write a Macro in Rust
hackeryarn.com·3h·
Discuss: Hacker News
🦀Rust Macros
Assuring Agent Safety Evaluations By Analysing Transcripts
lesswrong.com·9h
Effect Inference
Data Hoarder Uses AI to Create Searchable Database of Epstein Files
bespacific.com·16h
🪢Rope Data Structures
Getting a Hypergraph of Functions to a Browser
systeminit.com·1d·
Discuss: Hacker News
🏛️Elm Architecture
Building Repo Bench
repoprompt.com·1d·
💬Interactive REPLs
Working on Hard Problems
danvk.org·1d
🤐Zipper Structures
How Google Translate & ChatGPT Work: The Transformer, Unboxed
proceedings.neurips.cc·1d·
Discuss: DEV
🌊Streaming Lexers
METRICALARGS: A Taxonomy for Studying Metrical Poetry with LLMs
arxiv.org·15h
Tokenizer Benchmarks
Efficient and accurate search in petabase-scale sequence repositories
nature.com·2d·
Discuss: Hacker News
📝Text Algorithms
Show HN: Realization Jsmn on a Pure Zig
github.com·9h·
Discuss: Hacker News
📋JSON Parsing
How different AI engines generate and cite answers
searchengineland.com·7h
🎭Program Synthesis